    [q0] a <q1>
    <q1> b <q2>
    <q2> c [q0]
